Synthesis Of Multi-Level Circuits Using EXOR-Gates
نویسندگان
چکیده
There are many methods for the synthesis of logical functions. All these methods can be divided into two classes the first one is Two-Level Logic Synthesis and the second one is Multi-Level Logic Synthesis. The multi-level circuits and their structure are easier for practical realization if there is a large number of variables. In this paper we concentrate on a part of the second class synthesis of multi-level-circuits with EXOR-gates. We present six methods for EXOR-decomposition for both, completely and incompletely specified functions. In detail, we give an iterative algorithm for checking and calculating the EXORgroupability for the incompletely specified functions relating to sets of variables. Using this method, it is possible to fully utilize the characteristics and properties of incompletely specified functions enabling synthesis of very efficent circuits.
منابع مشابه
Synthesis of SPP three-level logic networks using affine spaces
Recently defined, three-level logic sum of pseudoproducts (SPP) forms are EXOR-AND-OR networks representing Boolean functions, and are much shorter than standard two-level sum of products (SOP) expressions (Luccio and Pagli, 1999). The main disadvantages of SPP networks are their cumbersome theory in the original formulation and their high minimization time. In addition, the current technology ...
متن کاملB . Becker , R . E . Bryant , O . Coudert , Ch . Meinel ( Hrsg
s of the Talks 7 Probabilistic Analysis of Large Finite State Machines F. Somenzi . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 On Improving OBDD-Based Verification in a Synthesis Environment W. Kunz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 On Computing the Maximum Power Cycle of Sequential Circuits A. Pardo . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملSurvey of Research Projects Conducted by Sasao’s Group
This paper surveys research conducted by Prof. Tsutomu Sasao’s group on the design of combinational logic circuits. The research projects can be roughly divided into the following groups: 1) Conservative logic circuits; 2) AND-OR two-level logic networks; 3) Logic design using EXOR gates; 4) Representation of logic functions using decision diagrams; 5) Functional decompositions; 6) Cascade real...
متن کاملA Fundamental Theorem for Exor Circuits
The paper presents a theorem that forms a foun dation to all well known and all possible new canon ical circuits with EXOR output gates Let M be a n n binary matrix with columns corresponding to minterms and rows corresponding to a family of Boolean functions of n variables M i j means that the Boolean function of row i includes the minterm corresponding to column j If the rows are linearly ind...
متن کاملReversible Logic Synthesis with Cascades of New Family of Gates
Abstract: Reversible circuits are currently on of top approaches to power minimization and the one whose importance will be only growing with time. In this paper, the well known Feynman gate is generalized to k*k gate and a new generalized k*k family of reversible gates is proposed. A synthesis method for multi-output SOP function using cascades of the new gate family is presented. For utilizin...
متن کامل